bitkeeper revision 1.1580 (429833a4G8EJ0jx6AoXE77WbZwwrQQ)
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 28 May 2005 09:02:28 +0000 (09:02 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 28 May 2005 09:02:28 +0000 (09:02 +0000)
Debug build dumps guest state to emergency console if it crashes.
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/common/domain.c

index 835154051bd8b491d4872115fae130a47e79e264..06e748bd37e521bf4654f5ef3e676bf90dba6e29 100644 (file)
@@ -130,6 +130,10 @@ void domain_crash(void)
         panic("Domain 0 crashed!\n");
     }
 
+#ifndef NDEBUG
+    show_registers(guest_cpu_user_regs());
+#endif
+
     set_bit(_DOMF_crashed, &d->domain_flags);
 
     send_guest_virq(dom0->exec_domain[0], VIRQ_DOM_EXC);